four-category ontology